<html>
<head><meta charset="utf-8"><title>weekly meeting 2018-10-29 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html">weekly meeting 2018-10-29</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136723384"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136723384" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136723384">(Oct 29 2018 at 17:56)</a>:</h4>
<p>Note <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> — meeting in 5 minutes or so</p>



<a name="136723950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136723950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136723950">(Oct 29 2018 at 18:04)</a>:</h4>
<p>Status document: <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX">https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--ALDA5111ZliLv5zlSgbjvDS2Ag-oDfr6ct8xx63HSAOOmIZX</a></p>



<a name="136724164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724164">(Oct 29 2018 at 18:07)</a>:</h4>
<p>Niko you mentioned that there is a calendar event for this meeting? Could you add me via <a href="mailto:varma.sunjay@gmail.com" title="mailto:varma.sunjay@gmail.com">varma.sunjay@gmail.com</a>? Thanks <span class="emoji emoji-1f60a" title="blush">:blush:</span></p>



<a name="136724373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724373">(Oct 29 2018 at 18:10)</a>:</h4>
<p>I was thinking maybe it'd be a good outcome if people use the meting to jot out some plans for the week</p>



<a name="136724376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724376">(Oct 29 2018 at 18:10)</a>:</h4>
<p>so I added an appropriate section</p>



<a name="136724389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724389">(Oct 29 2018 at 18:10)</a>:</h4>
<p>I was going to try and find.. I think there's one other issue I was thinking would be good to explore soon</p>



<a name="136724406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724406">(Oct 29 2018 at 18:10)</a>:</h4>
<p>not meant as a <em>firm commitment</em> or anything, but good way for us to plan</p>



<a name="136724603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724603">(Oct 29 2018 at 18:13)</a>:</h4>
<p>I also added a few notes on projects that I was thinking would be good for someone with a bit of time, probably will take a few steps, but good way to get feet wet</p>



<a name="136724611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724611">(Oct 29 2018 at 18:14)</a>:</h4>
<ul>
<li>Bugs on the horizon — some medium-ish projects that might be good<ul>
<li>use <code>evaluate_obligation</code> to decide when to do unsized coercions <a href="https://github.com/rust-lang/rust/issues/50753" target="_blank" title="https://github.com/rust-lang/rust/issues/50753">#50753</a> </li>
<li>warnings about incorrect type aliases <a href="https://github.com/rust-lang/rust/issues/55222" target="_blank" title="https://github.com/rust-lang/rust/issues/55222">#55222</a></li>
<li>chalk refactorings</li>
</ul>
</li>
</ul>



<a name="136724642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724642">(Oct 29 2018 at 18:14)</a>:</h4>
<p>that section :)</p>



<a name="136724698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724698">(Oct 29 2018 at 18:14)</a>:</h4>
<p>anyway, anything to chat about? One thing I've been wondering about is whether we should schedule a time to work out what work needs to be done on the <em>chalk</em> side, of it makes sense to just keep pushing and circle back</p>



<a name="136724747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724747">(Oct 29 2018 at 18:15)</a>:</h4>
<p>one other thing I've been wondering about is whether we can hack up some sort of initial lazy normalization plan that does <em>not</em> go through Chalk. Now that <span class="user-mention" data-user-id="131694">@scalexm</span> landed the new types to represent 'unnormalized' types and things it occurred to me that it was worth thinking about whether some sort of hack might get things working</p>



<a name="136724811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724811">(Oct 29 2018 at 18:16)</a>:</h4>
<p>(in particular, lazy norm problems are blocking the const evaluation work)</p>



<a name="136724859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724859">(Oct 29 2018 at 18:17)</a>:</h4>
<p>I don't feel like I have near enough context to come up with such a hack</p>



<a name="136724900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724900">(Oct 29 2018 at 18:18)</a>:</h4>
<p>yeah, this is probably more on me :)</p>



<a name="136724903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724903">(Oct 29 2018 at 18:18)</a>:</h4>
<p>to think out anyway</p>



<a name="136724908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724908">(Oct 29 2018 at 18:18)</a>:</h4>
<p>the last time I did this, I encountered problems with cycles iirc</p>



<a name="136724915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724915">(Oct 29 2018 at 18:18)</a>:</h4>
<p>the chalk solver resolves those</p>



<a name="136724924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724924">(Oct 29 2018 at 18:18)</a>:</h4>
<p>but maybe there is another route</p>



<a name="136724928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724928">(Oct 29 2018 at 18:18)</a>:</h4>
<p>that would work "at least as well" as what we have now</p>



<a name="136724937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724937">(Oct 29 2018 at 18:18)</a>:</h4>
<p>the problem was something like this</p>



<a name="136724953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724953">(Oct 29 2018 at 18:19)</a>:</h4>
<p>if you have <code>fn foo&lt;T: Iterator&lt;Item = u32&gt;&gt;() {..}</code></p>



<a name="136724980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724980">(Oct 29 2018 at 18:19)</a>:</h4>
<p>that is a where clause of <code>&lt;T as Iterator&gt;::Item = u32</code> -- anyway, somehow or another when trying to figure out what <code>T::Item</code> was, we would up in a cycle -- I guess I can't remember the specifics off-hand</p>



<a name="136724996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136724996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136724996">(Oct 29 2018 at 18:20)</a>:</h4>
<p>but in chalk we separate out "normalizes to" from "equality" (for precisely this reason)</p>



<a name="136725043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725043">(Oct 29 2018 at 18:20)</a>:</h4>
<p>and maybe something similar can be used in rustc to start</p>



<a name="136725080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725080">(Oct 29 2018 at 18:20)</a>:</h4>
<p>if I do get some time to dig into it, I'll do a little write-up, either would be instructive</p>



<a name="136725107"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725107" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725107">(Oct 29 2018 at 18:21)</a>:</h4>
<p>ok. later in the week I may pick a code issue to tackle, depending on how things go</p>



<a name="136725115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725115">(Oct 29 2018 at 18:21)</a>:</h4>
<p>I'm trying to decide when it's time to start doing more PR to bring in more folks; we don't have a steady supply of good starter issues</p>



<a name="136725120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725120">(Oct 29 2018 at 18:21)</a>:</h4>
<p>I feel like there will come a time that we do</p>



<a name="136725124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725124">(Oct 29 2018 at 18:21)</a>:</h4>
<p>one thing I would like to think about is making Chalk more accessible</p>



<a name="136725185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725185">(Oct 29 2018 at 18:22)</a>:</h4>
<p>right now I fear it is not as "inviting" as it could be (<span class="user-mention" data-user-id="117350">@Sunjay Varma</span> maybe can attest)</p>



<a name="136725201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725201">(Oct 29 2018 at 18:22)</a>:</h4>
<p>heh I was just going to say <span class="emoji emoji-1f606" title="laughing">:laughing:</span></p>



<a name="136725205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725205">(Oct 29 2018 at 18:22)</a>:</h4>
<p>we're going to need to extend it to support some more language features eventually and it seems like it'd be nice if it was .. well .. nice :)</p>



<a name="136725206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725206">(Oct 29 2018 at 18:22)</a>:</h4>
<p>I think the guides are helpful, but we can certainly do a lot to make it even better</p>



<a name="136725213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725213">(Oct 29 2018 at 18:22)</a>:</h4>
<p>I am really happy to help with that :)</p>



<a name="136725215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725215">(Oct 29 2018 at 18:22)</a>:</h4>
<p>do you two think it's lack of docs, or the code?</p>



<a name="136725216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725216">(Oct 29 2018 at 18:22)</a>:</h4>
<p>I guess I'm not <em>exactly</em> sure what I mean by nice</p>



<a name="136725231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725231">(Oct 29 2018 at 18:23)</a>:</h4>
<blockquote>
<p>do you two think it's lack of docs, or the code?</p>
</blockquote>
<p>I think maybe a bit of both? Not sure</p>



<a name="136725238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725238">(Oct 29 2018 at 18:23)</a>:</h4>
<p>There is also one specific thing I want to do which is to refactor lowering, <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> maybe this interests you, to be "demand driven"</p>



<a name="136725242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725242">(Oct 29 2018 at 18:23)</a>:</h4>
<p>basically meaning:</p>



<a name="136725248"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725248" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725248">(Oct 29 2018 at 18:23)</a>:</h4>
<p>make it possible to "lower" a trait at a time</p>



<a name="136725255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725255">(Oct 29 2018 at 18:23)</a>:</h4>
<p>we need to do this for specialization</p>



<a name="136725263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725263">(Oct 29 2018 at 18:23)</a>:</h4>
<p>Yes I am interested! <span class="emoji emoji-263a" title="smile">:smile:</span></p>



<a name="136725264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725264">(Oct 29 2018 at 18:23)</a>:</h4>
<p>I was thinking of "rebasing" onto <a href="https://github.com/salsa-rs/salsa" target="_blank" title="https://github.com/salsa-rs/salsa">salsa</a>, which is a crate that models the rustc query system</p>



<a name="136725310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725310">(Oct 29 2018 at 18:24)</a>:</h4>
<p>and hoping this might be an opportunity to cleanup the code so it is more modular</p>



<a name="136725315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725315">(Oct 29 2018 at 18:24)</a>:</h4>
<p>which <span class="user-mention" data-user-id="116883">@tmandry</span> is one of my "feelings" of what makes it kind of complex</p>



<a name="136725325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725325">(Oct 29 2018 at 18:24)</a>:</h4>
<p>perhaps improved now that I factored out some crates but I think there's still room for more</p>



<a name="136725336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725336">(Oct 29 2018 at 18:24)</a>:</h4>
<p>using salsa would be pretty cool</p>



<a name="136725351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725351">(Oct 29 2018 at 18:24)</a>:</h4>
<p>yes I think that refactoring definitely helped some</p>



<a name="136725357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725357">(Oct 29 2018 at 18:25)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> It's a bit of both. Chalk requires some expertise in logic programming and quite a bit of expertise in rustc. We're improving over time, but it is still hard to get started</p>



<a name="136725391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725391">(Oct 29 2018 at 18:25)</a>:</h4>
<p>improving the repl might be nice too</p>



<a name="136725394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725394">(Oct 29 2018 at 18:25)</a>:</h4>
<p>I can attest it's hard to get started as well :)</p>



<a name="136725398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725398">(Oct 29 2018 at 18:25)</a>:</h4>
<p>I'm not sure exactly <em>how</em></p>



<a name="136725401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725401">(Oct 29 2018 at 18:25)</a>:</h4>
<p>I've been doing this for several months now and I still feel like I don't know nearly enough (though that is of course very much on me as well for not having/putting in the time needed)</p>



<a name="136725409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725409">(Oct 29 2018 at 18:25)</a>:</h4>
<p>but I imagine we could make it easier to interactively explore and visualize what's going on</p>



<a name="136725411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725411">(Oct 29 2018 at 18:26)</a>:</h4>
<p>in my ideal world</p>



<a name="136725412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725412">(Oct 29 2018 at 18:26)</a>:</h4>
<p>I've got some extra cycles over the next few weeks, so I'd be happy to play the guinea pig on some starter issue(s). I think, given the level of expertise required, it might be out of reach for me, but I'm willing to give it a go, with some mentoring.</p>



<a name="136725452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725452">(Oct 29 2018 at 18:26)</a>:</h4>
<p>we'd have a VScode plugin in or something</p>



<a name="136725462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725462">(Oct 29 2018 at 18:26)</a>:</h4>
<p>where you can hover over some impls and it will show you the lowered logic :)</p>



<a name="136725465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725465">(Oct 29 2018 at 18:26)</a>:</h4>
<p>Yes being able to see what the query solver is doing would be great</p>



<a name="136725469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725469">(Oct 29 2018 at 18:26)</a>:</h4>
<p>yeah, I can see chalk as being the ideal "entry point" for this stuff, but it's not there yet</p>



<a name="136725495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725495">(Oct 29 2018 at 18:27)</a>:</h4>
<p>I wish I wasn't completely swamped all the time so I could put more time into this. I think I could do a lot to help make it easier to get started</p>



<a name="136725504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725504">(Oct 29 2018 at 18:27)</a>:</h4>
<p>interesting idea @ vscode plugin</p>



<a name="136725505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725505">(Oct 29 2018 at 18:27)</a>:</h4>
<p>Hoping to be able to do that in a few months :)</p>



<a name="136725514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725514">(Oct 29 2018 at 18:27)</a>:</h4>
<p>it would be good to have an up to date documentation to start with, and in particular one describing what is the actual purpose of chalk because people seem to be confused about that</p>



<a name="136725515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725515">(Oct 29 2018 at 18:27)</a>:</h4>
<p>(depends on how things go this week actually!)</p>



<a name="136725568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725568">(Oct 29 2018 at 18:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> It also depends on the scale at which you want to add people to work on this</p>



<a name="136725569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725569">(Oct 29 2018 at 18:28)</a>:</h4>
<blockquote>
<p>it would be good to have an up to date documentation to start with</p>
</blockquote>
<p>I can prioritize this for this week</p>



<a name="136725579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725579">(Oct 29 2018 at 18:28)</a>:</h4>
<p>If you only need a few more people we can probably suffice with just some improved docs</p>



<a name="136725582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725582">(Oct 29 2018 at 18:28)</a>:</h4>
<p>and some mentorship</p>



<a name="136725590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725590">(Oct 29 2018 at 18:28)</a>:</h4>
<p>If you need something longer lasting we should put in more thought</p>



<a name="136725608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725608">(Oct 29 2018 at 18:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> but yeah the VScode plugin definitely seems like a cool idea</p>



<a name="136725631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725631">(Oct 29 2018 at 18:29)</a>:</h4>
<p>heh we should build it into RLS so everyone can see it <span class="emoji emoji-1f602" title="laughter tears">:laughter_tears:</span></p>



<a name="136725636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725636">(Oct 29 2018 at 18:29)</a>:</h4>
<p>dreams, dreams...</p>



<a name="136725638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725638">(Oct 29 2018 at 18:29)</a>:</h4>
<p>well <span class="user-mention" data-user-id="117350">@Sunjay Varma</span> I'm not sure but I guess I want to shoot — long term — for a big group. I have wild fantasies of having a big "team" of trait hackers pursuing independent improvements</p>



<a name="136725690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725690">(Oct 29 2018 at 18:30)</a>:</h4>
<p>e.g. someday I want chalk to be running on some kind of VM :P</p>



<a name="136725706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725706">(Oct 29 2018 at 18:30)</a>:</h4>
<p>I feel like investing <em>now</em> in making the code friendly to newcomers will pay off</p>



<a name="136725709"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725709" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725709">(Oct 29 2018 at 18:30)</a>:</h4>
<p>e.g., as some of us get distracted by other projects,</p>



<a name="136725715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725715">(Oct 29 2018 at 18:30)</a>:</h4>
<p>it'd be great if it's easy for more people to be arriving</p>



<a name="136725728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725728">(Oct 29 2018 at 18:31)</a>:</h4>
<blockquote>
<p>e.g. someday I want chalk to be running on some kind of VM</p>
</blockquote>
<p>not sure I understand this</p>



<a name="136725745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725745">(Oct 29 2018 at 18:31)</a>:</h4>
<p>maybe we could do a browser-based tool where you paste in some rust code and see it lowered to logic? using webasm or something</p>



<a name="136725746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725746">(Oct 29 2018 at 18:31)</a>:</h4>
<p>I am referring to things like the WAM VM used to efficiently execute Prolog programs</p>



<a name="136725751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725751">(Oct 29 2018 at 18:31)</a>:</h4>
<p>but that's not really important</p>



<a name="136725801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725801">(Oct 29 2018 at 18:32)</a>:</h4>
<p>ah okay</p>



<a name="136725804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725804">(Oct 29 2018 at 18:32)</a>:</h4>
<p>what I mean is: if we can make chalk into a project that people can hack on, I imagine that some folks will come around who have time to do ambitious projects</p>



<a name="136725813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725813">(Oct 29 2018 at 18:32)</a>:</h4>
<p>basically the "glory" of open source ;)</p>



<a name="136725826"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725826" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725826">(Oct 29 2018 at 18:33)</a>:</h4>
<p>but first we gotta get it standing up and moving :)</p>



<a name="136725853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725853">(Oct 29 2018 at 18:33)</a>:</h4>
<p>anyway I suppose a VScode plugin integration is probably not the <em>first</em> step we should take. but it might be actually not that hard and fun to do, particularly if we rebuild things on salsa with that in mind</p>



<a name="136725865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725865">(Oct 29 2018 at 18:34)</a>:</h4>
<p><em>anyway</em>...</p>



<a name="136725908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725908">(Oct 29 2018 at 18:34)</a>:</h4>
<p>Maybe open some issues for these ideas?</p>



<a name="136725921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725921">(Oct 29 2018 at 18:34)</a>:</h4>
<p>maybe..</p>



<a name="136725922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725922">(Oct 29 2018 at 18:34)</a>:</h4>
<p>That's also a good way to get new people started. One of the hard things about chalk is it isn't clear what to even do</p>



<a name="136725930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725930">(Oct 29 2018 at 18:34)</a>:</h4>
<p>right, so,</p>



<a name="136725936"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725936" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725936">(Oct 29 2018 at 18:34)</a>:</h4>
<p>I was wondering if we should schedule a time to sync back up and discuss what to do with chalk</p>



<a name="136725942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725942">(Oct 29 2018 at 18:34)</a>:</h4>
<p>I feel like that is kind of helpful to me (to have something I <em>have</em> to do :)</p>



<a name="136725977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136725977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136725977">(Oct 29 2018 at 18:35)</a>:</h4>
<p>sure</p>



<a name="136726055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726055">(Oct 29 2018 at 18:36)</a>:</h4>
<p>sure</p>



<a name="136726057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726057">(Oct 29 2018 at 18:36)</a>:</h4>
<p>could maybe do Thursday at this time</p>



<a name="136726090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726090">(Oct 29 2018 at 18:37)</a>:</h4>
<p>uhh I probably won't be around then, but feel free to go on without me (this week is busy for me anyway :])</p>



<a name="136726100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726100">(Oct 29 2018 at 18:37)</a>:</h4>
<p>actually i'm beginning to think maybe <em>this</em> week isn't the best</p>



<a name="136726101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726101">(Oct 29 2018 at 18:37)</a>:</h4>
<p>maybe I will try to skech out some details and we can discuss next week</p>



<a name="136726116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726116">(Oct 29 2018 at 18:38)</a>:</h4>
<p>reasons:</p>
<ul>
<li>it's a busy week for me personally (halloween! <span class="emoji emoji-1f47b" title="ghost">:ghost:</span>)</li>
<li>we're releasing the Rust 2018 RC2 and I anticipate..distraction</li>
<li>we've got stuff to do right now anyway</li>
</ul>



<a name="136726184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726184">(Oct 29 2018 at 18:38)</a>:</h4>
<p>sounds good! happy Halloween everyone! <span class="emoji emoji-1f383" title="pumpkin">:pumpkin:</span></p>



<a name="136726211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726211">(Oct 29 2018 at 18:39)</a>:</h4>
<p>sounds good! If anybody is lurking and would like to be involved, feel free to reach out</p>



<a name="136726413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726413">(Oct 29 2018 at 18:42)</a>:</h4>
<p>Is  <a href="https://github.com/rust-lang/rust/issues/55097" target="_blank" title="https://github.com/rust-lang/rust/issues/55097">#55097</a> still a possibility for a starter issue? If you find cycles to gather mentoring instructions, I'd be interested in giving it a shot. (or a different issue, if there's a more useful/appropriate option.)</p>



<a name="136726807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726807">(Oct 29 2018 at 18:48)</a>:</h4>
<p><span class="user-mention" data-user-id="120512">@uberjay</span> definitely!</p>



<a name="136726843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726843">(Oct 29 2018 at 18:49)</a>:</h4>
<p>I'll leave some quick notes if you are interested :)</p>



<a name="136726845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726845">(Oct 29 2018 at 18:49)</a>:</h4>
<p>can leave more later</p>



<a name="136726949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202018-10-29/near/136726949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Josh Huber <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202018-10-29.html#136726949">(Oct 29 2018 at 18:51)</a>:</h4>
<p>Awesome! That sounds great, thank you! <span class="emoji emoji-2764" title="heart">:heart:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>